op 	 {
  name: "StatelessRandomGetKeyCounter"
  input_arg {
    name: "seed"
    type_attr: "Tseed"
  }
  output_arg {
    name: "key"
    type: DT_UINT64
  }
  output_arg {
    name: "counter"
    type: DT_UINT64
  }
  attr {
    name: "Tseed"
    type: "type"
    default_value {
      type: DT_INT64
    }
    allowed_values {
      list {
        type: DT_INT32
        type: DT_INT64
      }
    }
  }
}
op {
  name: "StatelessRandomGetKeyCounter"
  input_arg {
    name: "seed"
    type_attr: "Tseed"
  }
  output_arg {
    name: "key"
    type: DT_UINT64
  }
  output_arg {
    name: "counter"
    type: DT_UINT64
  }
  attr {
    name: "Tseed"
    type: "type"
    default_value {
      type: DT_INT64
    }
    allowed_values {
      list {
        type: DT_INT32
        type: DT_INT64
      }
    }
  }
  is_stateful: true
}
op {
  name: "StatelessRandomGetKeyCounter"
  input_arg {
    name: "seed"
    type_attr: "Tseed"
  }
  output_arg {
    name: "key"
    type: DT_UINT64
  }
  output_arg {
    name: "counter"
    type: DT_UINT64
  }
  attr {
    name: "Tseed"
    type: "type"
    default_value {
      type: DT_INT64
    }
    allowed_values {
      list {
        type: DT_INT32
        type: DT_INT64
      }
    }
  }
}
op {
  name: "StatelessRandomGetKeyCounter"
  input_arg {
    name: "seed"
    type_attr: "Tseed"
  }
  output_arg {
    name: "key"
    type: DT_UINT64
  }
  output_arg {
    name: "counter"
    type: DT_UINT64
  }
  attr {
    name: "Tseed"
    type: "type"
    default_value {
      type: DT_INT64
    }
    allowed_values {
      list {
        type: DT_INT32
        type: DT_INT64
      }
    }
  }
  is_stateful: true
}
op {
  name: "StatelessRandomGetKeyCounter"
  input_arg {
    name: "seed"
    type_attr: "Tseed"
  }
  output_arg {
    name: "key"
    type: DT_UINT64
  }
  output_arg {
    name: "counter"
    type: DT_UINT64
  }
  attr {
    name: "Tseed"
    type: "type"
    default_value {
      type: DT_INT64
    }
    allowed_values {
      list {
        type: DT_INT32
        type: DT_INT64
      }
    }
  }
}
